Towards Business Level Verification of Cross- Organizational Business Processes
نویسندگان
چکیده
In this paper we present a novel approach for the verification of a business process configuration. The approach is formal, so that logic mechanisms are used in the verification process. The approach has been applied in the scope of the project ATHENA for the verification of cross organizational
منابع مشابه
A Static Business Level Verification Framework for Cross-Organizational Business Process Models using SWRL
In this paper we introduce a solution for the problem of the design-time verification of cross-organizational business processes. The configuration of the processes can be checked in order to examine whether it fulfills a certain set of business level requirements. A formal Ontology in OWL for these kinds of processes is provided, so logic mechanisms for the verification are applied. The busine...
متن کاملA Reachability Verification Method Based on Pi- Calculus and Role Network Model for Cross- Organizational Business Processes
Increasingly more organizations are involved in critical cross-organizational business processes. Reachability analysis is one important way to guarantee the correctness of these processes. This paper proposes a new way of combing Role Network Model (RNM) and Picalculus to support reachability analysis for distributed and highly dyanmic processes. We first formally describe RNM in Pi-calculus. ...
متن کاملProtos: a cross-organizational business modeling tool (demonstration)
Traditional approaches to cross-organizational business modeling use low-level abstractions such as data and control flow. These approaches result in rigid models that over-constrain business execution. Further, because such approaches ignore the underlying business relationships that drive process execution, they lack the notion of business level correctness. Telang and Singh [5] propose a hig...
متن کاملTowards Compliance of Cross-Organizational Processes and Their Changes - Research Challenges and State of Research
Businesses require the ability to rapidly implement new processes and to quickly adapt existing ones to environmental changes including the optimization of their interactions with partners and customers. However, changes of either intraor cross-organizational processes must not be done in an uncontrolled manner. In particular, processes are increasingly subject to compliance rules that usually ...
متن کاملA Framework for E-Services: A Three-Level Approach towards Process and Data Management
Service outsourcing is the business paradigm, in which an organization has part of its business process performed by a service provider. In dynamic markets, service providers can be selected on the fly during process enactment. The cooperation between the parties is specified in a dynamically made electronic contract. This contract includes a process specification that is tailored towards servi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006